\relax 
\citation{wa}
\citation{alloy}
\citation{dyn}
\citation{taco}
\@writefile{toc}{\contentsline {title}{Automated Bug Fixing using Workarounds}{1}}
\@writefile{toc}{\contentsline {author}{Marcelo Uva\unskip {} \and Nazareno Aguirre\unskip {}}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
\citation{zeller}
\citation{wa, wa1}
\citation{raw}
\citation{alloy,dyn}
\@writefile{toc}{\contentsline {section}{\numberline {2}Preliminaries}{2}}
\bibcite{zeller}{1}
\bibcite{wa}{2}
\bibcite{raw}{3}
\bibcite{wa1}{4}
\@writefile{toc}{\contentsline {section}{\numberline {3}Motivating Examples}{3}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Experimental Results}{3}}
\@writefile{toc}{\contentsline {section}{\numberline {5}Conclusiones and future works}{3}}
\bibcite{dyn}{5}
\bibcite{alloy}{6}
\bibcite{taco}{7}
